1. Advances in Software Engineering
پدیدآورنده: edited by Marvin V. Zelkowitz
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Software engineering,، Electronic data processing,، Computers
رده :
QA
76
.
758
.
A39
2004
2. Algebraic Informatics
پدیدآورنده: \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
3. Compositional Verification of Concurrent and Real-Time Systems
پدیدآورنده: by Eric Y. T. Juan, Jeffrey J. P. Tsai.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
4. Dependable Computing for Critical Applications 2
پدیدآورنده: edited by John F. Meyer, Richard D. Schlichting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1992
5. Designing a new class of distributed systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer network architectures. ; Electronic data processing ; Distributed processing. ; Software engineering. ;
6. Designing a new class of distributed systems
پدیدآورنده: / Rao Mikkilineni
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer network architectures.,Electronic data processing--Distributed processing,Software engineering.
رده :
TK
,
5105
.
52
,.
M55
,
2011
7. Designing a new class of distributed systems
پدیدآورنده : Mikkilineni, Rao., Rao Mikkilineni
موضوع : ، Computer network architectures,، Electronic data processing, Distributed processing,، Software engineering
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Digital Information Processing and Communications
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses,Electronic data processing -- Congresses,Computer networks -- Congresses,نرم‌افزار -- مهندسی -- کنگره‌ها ,داده‌پردازی -- کنگره‌ها,شبکه‌های کامپیوتری -- کنگره‌ها
رده :
E-Book
,
9. Distributed software engineering
پدیدآورنده: / Sol M. Shatz, Jia-Ping Wang
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Software engineering,Electronic data processing - Distributed processing
رده :
QA
76
.
9
.
D5T88
1989
10. Euro-Par 2011 Parallel Processing
پدیدآورنده: edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.
11. Facing the Multicore - Challenge II
پدیدآورنده: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
12. Formal Methods for Distributed System Development :
پدیدآورنده: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Software engineering.
13. Fundamentals of computing for software engineers
پدیدآورنده: Tanik, Murat.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Software engineering , Electronic data processing
رده :
QA
76
.
758
.
C46
1991
14. Future generation information technology :
پدیدآورنده: Tai-hoon Kim ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing, Congresses.,Information technology, Congresses.,Software engineering, Congresses.
15. Git recipes :
پدیدآورنده: Włodzimierz Gajda
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing.,Open source software.,Software engineering.
16. Git recipes :
پدیدآورنده: Włodzimierz Gajda
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing.,Open source software.,Software engineering.
17. High Integrity Software
پدیدآورنده: edited by Victor L. Winter, Sourav Bhattacharya.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Software engineering.,Systems theory.
18. Information engineering
پدیدآورنده: Brathwaite, Kenmore S
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Electronic data processing,، Software engineering,، System design
رده :
QA
76
.
B7134
1991
19. Introduction to discrete mathematics for software engineering
پدیدآورنده: Denvir, Tim
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Electronic data processing,، Software engineering
رده :
QA
76
.
9
.
M35
D45
1986
20. Mastering Git :
پدیدآورنده: Jakub Narębski
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing,Open source software,Software engineering
رده :
QA76
.
758
